------------------------------------------------------------------------------
*                                                                            *
*  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
*                                                                            *
------------------------------------------------------------------------------

Giorno: 9-10-1993

Funzione: ä8  (10,11,12,13,14,15,16,17,18,19,20,40,41,42,43,44,45,46,47,48,49,
               50,70,71,72,73,74,75,76,77,78,79,80,100,101,102,103,104,105,
               106,107,108,109,110,130,131,132,133,134,135,136,137,138,139,
               140,170,171,172,173,174,175,176,177,178,179,180,200,201,202,
               203,204,205,206,207,208,209,210,230,231,232,233,234,235,236,
               237,238,239,240)

Numero di variabili: 8
Numero di mintermini: 88
Stato dell'elaborazione: TERMINATA
Generazione dell'input: DETERMINISTICA
Tempo totale di elaborazione: 0:0:2

--------------------------
*         FASE A         *
--------------------------
Tempo di elaborazione: 0:0:0
Numero implicanti primi: 54

Implicanti primi determinati: 
	ABCdEGH
	ACdEFGH
	bCdEFGH
	aBCDfGH
	aBcdEGH
	acdEFGH
	abCdEFG
	abCdEFH
	abdEFGH
	ABCdEF
	ABdEFG
	ABdEFH
	BcdEFG
	BcdEFH
	aBCDEg
	aBCDFg
	aBCDEf
	aCDeGH
	AbCDfg
	AbDfgH
	AbDEfg
	AbcDfG
	AbcDfH
	AbcDEf
	aBcdEF
	bcDfgH
	bcDEfg
	abcDfg
	ABDef
	ADefG
	ADefH
	DefGH
	ACDef
	ADegH
	ABDeg
	ACDeg
	AcDeH
	ABcDe
	AcDeF
	AcDeG
	aCDeF
	cDegH
	BcDeg
	cDefG
	BcDef
	cDefH
	acDeg
	acDef
	DeFg
	bCDe
	bDeF
	bDeG
	bDeH
	abDe

--------------------------
*         FASE B         *
--------------------------
Quine I dx
Tempo di elaborazione: 0:0:2
Numero di forme prime paragonate: 162
Numero di tabelle cicliche esaminate: 161
Numero di implicanti soluzione: 24

SOLUZIONE (forma minima): 
ABCdEGH + aBcdEGH + abCdEFG + abCdEFH + ABCdEF + aBCDEf + aBcdEF + aCDeF +
bCdEFGH + abdEFGH + BcdEFG + BcdEFH + aBCDFg + DefGH + AbDEfg + AbcDfG +
abcDfg + ACDef + DeFg + AcDeG + BcDef + bDeH + bDeG + abDe